trait T { object O }